Total Public Announcements
نویسندگان
چکیده
We present a dynamic epistemic logic for knowledge change of rational agents. Existing approaches only deal with partial public announcements, that means an announcement may lead to an inconsistent state. We introduce an extension of the multi-modal logic S5n featuring total public announcements where an update cannot result in an inconsistency. We also study total public announcements in the context of common knowledge and relativized common knowledge.
منابع مشابه
Providing an optimal model for gaining public trust in the Complaints System and Inspection Agency's announcements
This research seeks to provide an optimal model for gaining public trust in the Complaints System and Inspection Agency's announcements.In this research, a survey method and a researcher-made questionnaire were used. The study population was consist of customers and users of the complaint handling system and the organization's inspection reports in Mazandaran province comprising equal numbers o...
متن کاملA Comparative Genre Analysis of Memorial Cards in English and Funeral/Memorial Announcements in Persian
As covert socio-cultural relations have significant effects on language, these norms are reflected in linguistic and generic structure of public death notices as a distinctive genre. This study intended to identify the different genres of death notices (e.g. memorial advertisements, obituaries, funeral announcements/posters, memorial cards, etc.) and to conduct a comparative genre analysis of m...
متن کاملPositive Announcements
Arbitrary public announcement logic (APAL) reasons about how the knowledge of a set of agents changes after true public announcements and after arbitrary announcements of true epistemic formulas. We consider a variant of arbitrary public announcement logic called positive arbitrary public announcement logic (APAL), which restricts arbitrary public announcements to announcement of positive formu...
متن کاملSpeech acts as announcements
Our aim is to use the logic of public announcements and more generally dynamic epistemic logics as a logic of speech acts. To that end we start from a simple multimodal logic of beliefs and goals (without common belief), and add public announcements. We suppose that announcements do not modify goals. We then consider several variants of speech acts of assertive and directive force and provide a...
متن کاملPublic Announcements in Strategic Games with Arbitrary Strategy Sets
In van Benthem [2007] the concept of a public announcement is used to study the effect of the iterated elimination of strictly dominated strategies. We offer a simple generalisation of this approach to cover arbitrary strategic games and many optimality notions. We distinguish between announcements of optimality and announcements of rationality.
متن کامل